Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics. 一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。
At present there is no principal standard of proof in civil procedure law in China. 目前,我国的民事诉讼法尚没有确定原则性的证明标准。
The judicial proof is the core procedure of civil proceedings, and also the core of evidence law system. 司法证明是民事诉讼的核心程序,也是证据法律制度的核心。
The standard of proof in criminal procedure refers to not only the extent of the procurator using evidences to prove the case fact, but also the standard of the judge using evidences to make the judgement accurately. 刑事诉讼证明标准既是指承担控诉责任的检察官运用证据证明案件事实需要达到的法律所要求的程度,也是指法官根据既有的法律规范和证据对案件事实作出准确判断时所需的标准。
Burden of proof in the procedure of exclusion of the illegally obtained evidence indicate when the defendant claim that the evidences provided by the prosecutor are illegally obtained, which party shall undertake the burden of proof and to what extend the evidences should be proved. 非法证据排除程序中的证明主要是指当被告方主张控诉方的证据系非法所得时由谁承担证明责任以及证明应达到何种程度。
The problems concerned with distributing the burden of proof in the procedure of the challenge can be solved after drawing on the experience of the non-reason challenge system. 申请回避实施程序中的举证责任问题须通过借鉴无因回避制度的有关内容来解决;
Effects of Presumptions on the Burden of Proof in Civil Procedure 论民事诉讼中推定的运用对证明责任分配的影响&以美国民事诉讼为出发点
On the Burden of Proof in Administrative Procedure 论行政诉讼举证责任
On Reversion Form of Burden Proof in Civil Procedure 民事证明责任倒置形态简析
On the Reestablishing of Standard of Proof in Criminal Procedure 论我国刑事诉讼证明标准的重塑
A Reflection on Establishment of Proof Show Procedure in Chinese Juridical System Legal Reflections on the Establishment of Simplified Procedure of Administrative Litigation 背景与机理:关于设立证据开示程序的反思&一个跨文化法律移植的话题行政诉讼中简易程序的设立
In this paper, two basic qualities about definite integral are proved. The proof procedure of these qualities is simple, and these qualities are very useful in calculating some complex integrators. 在这篇论文中,我们提出定积分的两个基本性质,这些性质很容易证明,在求某些复杂积分时,这些性质非常有用。
Epistemic logic ( 3): on semantic tableau proof procedure 认识逻辑(3):基于语义tableau的证明理论
Administrative litigation law and judicial interpretation establish the system of defendant's burden of proof in administrative litigation, and formulate the normative framework of defendant's proof procedure with administrative evidence characteristics. 《行政诉讼法》和司法解释确立了被告在行政诉讼中的举证责任制度和程序规则,已经建立起符合行政诉讼证据特点的被告举证程序规范体系。
The construction of reversion form of burden proof in civil procedure deepens the theoretical research and instructs the distribution and application of burden proof in lawsuit practice from theoretical height. 民事证明责任倒置的形态构建深化了证明责任倒置的理论研究,并从理论的高度指导证明责任在诉讼实践中的分配和适用。
Three Topics on Reversion of Burden Proof in Civil Procedure 民事证明责任倒置三题
Proof in civil procedure and administrative proceeding is different from proof in criminal procedure, but they should also be guided by theory of knowledge. 民事诉讼证明、行政诉讼证明不同于刑事诉讼证明,但也应当以认识论为指导。
With the reform in civil procedure institution, the standard of proof of civil procedure in our country is unceasingly perfecting from "objective facts"," legal facts" to "probability". 从“客观事实”、“法律事实”到“盖然性”证明标准,我国民事诉讼证明标准随着民事诉讼制度的改革而不断完善。
But there are many limitations in their methods because the methods are not based on analysis of resolution proof procedure. 但由于他们的方法都不是从分析归结证明过程出发的,所以他们的方法存在许多局限性。
The Definition of the Main Body of Proof in Criminal Procedure 刑事诉讼证明主体的界定
There are two opposite viewpoints on standard of proof in criminal procedure: the "objective truth" doctrine and the "legal truth" doctrine. 目前刑事诉讼法学界在证明标准问题上存在着客观真实与法律真实的争论。
Moreover, by introducing type-check mechanism into this model, the proof procedure is simplified significantly. 通过在该模型中引入消息类型检查机制,简化了证明过程。
The standard of proof in criminal procedure indicates a legal requirement, which the subject of burden of proof in criminal procedure advocated by the evidence. 刑事诉讼证明标准是指在刑事诉讼中承担证明责任的主体运用证据对所主张的事实应达到的法定要求。
However, there are some mistakes and imperfections in the proof procedure of its convergence in some classical literatures. 然而,相关经典文献的收敛性证明却存在错误和不完善之处。
This part discussed the induction to accept the theory in the detection practice utilization, Elaborated the detection supposition proof procedure with emphasis, Analyzed the entire process of detection supposition to be accepted for the detection conclusion to achieve the investigation goal. 此部分探讨了归纳接受理论在侦查实践中的运用,重点论述了侦查假设的验证过程,分析了侦查假设被接受上升为侦查结论实现破案目标的整个过程。
The object of proof in civil procedure is the foundational thesis of proof theory. It is the initial link of proof, is the starting and ending point of litigation activities. Thus the research on object of proof has very important theoretical and practical significance. 民事诉讼证明对象是诉讼证明理论中的基础性论题,是诉讼证明活动的最初环节,是诉讼活动的出发点和落脚点,研究证明对象具有重要的理论和现实意义。
Because administrative litigation is reexamined litigation, the object of proof of administrative procedure and administrative litigation both are the substantive case facts, so there is certain intercommunity between them. 行政证据包括行政程序证据和行政诉讼证据,由于行政诉讼是复查性诉讼,行政程序与行政诉讼的证明对象都是实体性案件事实,二者具有一定的关联性。
The distribution of the burden of proof in administrative procedure is not only the core of administrative procedure but also a controversial legal theory in a lot of problems. 行政诉讼举证责任分配是行政诉讼的核心,也是行政诉讼法学理论中一个争议颇多的问题。
So this dissertation is composed of four parts, which are as below: The first part is the brief introduction of burden of proof in civil procedure. 本文的写作主要分为以下几个部分,每部分的内容分别如下:第一部分是民事诉讼证明责任概述。
Meanwhile, the burden of proof in criminal procedure are the responsibilities of procuratorate due to the doctrine of function and power in criminal procedure, the objective obligations of procuratorate, and basic law principles such as presumption of innocence and in dubio pro reo. 刑事诉讼中的证明责任,特别是公诉案件,由于刑事诉讼中职权调查主义、检察机关的客观义务以及无罪推定与疑罪从无等基本原则的存在,一般而言只由作为指控方的检察机关承担。